1. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
2. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
3. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
4. Introduction to mathematical programming
پدیدآورنده : Kwak, N K
کتابخانه: (طهران)
موضوع : ، Linear programming,، Programming )Mathematics(
رده :
T
57
.
74
.
K9
1987
5. Mathematical programming with business applications
پدیدآورنده : Kwak, N K , 2391-
موضوع : ، Business mathematics,، Linear programming,، Programming )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Mathematical programming with business applications
پدیدآورنده : KWAK,N K
کتابخانه: (طهران)
موضوع : BUSINESS MATHEMATICS , LINEAR PROGRAMMING , PROGRAMMING )MATHEMATICS(
رده :
HF
5691
.
K87